IP Operations and Management
This book constitutes the refereed proceedings of the 7th IEEE International Workshop on IP Operations and Management, IPOM ...
اقرأ المزيد
Randomized Algorithms for Analysis and Control of Uncertain Systems
The main objective of this book is to introduce the reader to the fundamentals of probabilistic methods in the analysis and ...
اقرأ المزيد
Research in Computational Molecular Biology
This book constitutes the refereed proceedings of the 11th Annual International Conference on Research in Computational Molecular ...
اقرأ المزيد
The Modern Algebra of Information Retrieval
This book takes a unique approach to information retrieval by laying down the foundations for a modern algebra of information ...
اقرأ المزيد
Theoretical Aspects of Computing - ICTAC 2006
This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
اقرأ المزيد
Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
اقرأ المزيد
